Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·17h·
Discuss: r/programming
🩹Self-Healing Systems
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·1d
🩹Self-Healing Systems
Time's arrow => decision theory
lesswrong.com·4m
🧠Automated Reasoning
Breaking Verifiable Abstractions
alperenkeles.com·18h·
Discuss: Hacker News, r/programming
🔍Formal Verification
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
How to Test
matklad.github.io·19h·
Discuss: Hacker News
🧪Property-Based Testing
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Tripping Around REPL
vlaaad.github.io·21h·
Discuss: Hacker News
🛡️seL4
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Isolated(any)
nshipster.com·14h·
Discuss: Hacker News
🧮Lambda Calculus
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Combining struct literal syntax with read-only field access
kobzol.github.io·19h·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
The Paradigm
nonint.com·9h·
Discuss: Hacker News
📚Automata Learning
Learn about building a Rust Plugin System
blog.anirudha.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·6d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Proper Error Handling for Your Node.js Application
masteringbackend.com·1d·
Discuss: Hacker News
📊Runtime Verification